Liveness-Based Garbage Collection for Lazy Languages

We consider the problem of reducing the memory required to run lazy first-order functional programs. Our approach is to analyze programs for liveness of heap-allocated data. The result of the analysis is used to preserve only live data---a subset of reachable data---during garbage collection. The result is an increase in the garbage reclaimed and a reduction in the peak memory requirement of programs. While this technique has already been shown to yield benefits for eager first-order languages, the lack of a statically determinable execution order and the presence of closures pose new challenges for lazy languages. These require changes both in the liveness analysis itself and in the design of the garbage collector. To show the effectiveness of our method, we implemented a copying collector that uses the results of the liveness analysis to preserve live objects, both evaluated (i.e., in WHNF) and closures. Our experiments confirm that for programs running with a liveness-based garbage collector, there is a significant decrease in peak memory requirements. In addition, a sizable reduction in the number of collections ensures that in spite of using a more complex garbage collector, the execution times of programs running with liveness and reachability-based collectors remain comparable

Crab Pulsar Photometry and the Signature of Free Precession

Optical photometry for the pulsar PSR0531+21 has been extended with new observations that strengthen evidence for a previously observed 60 seconds periodicity. This period is found to be increasing with time at approximately the same rate as the rotational period of the pulsar. The observed period and its time dependence fit a simple free precession model.Comment: 6 pages, 7 figures. Published in A&

Long-Term Stability of an Area-Reversible Atom-Interferometer Sagnac Gyroscope

We report on a study of the long-term stability and absolute accuracy of an atom interferometer gyroscope. This study included the implementation of an electro-optical technique to reverse the vector area of the interferometer for reduced systematics and a careful study of systematic phase shifts. Our data strongly suggests that drifts less than 96 $\mu$deg/hr are possible after empirically removing shifts due to measured changes in temperature, laser intensity, and several other experimental parameters.Comment: 4 pages, 4 figures, submitted to PR

Involvement of Noradrenergic Neurotransmission in the Stress- but not Cocaine-Induced Reinstatement of Extinguished Cocaine-Induced Conditioned Place Preference in Mice: Role for β-2 Adrenergic Receptors

The responsiveness of central noradrenergic systems to stressors and cocaine poses norepinephrine as a potential common mechanism through which drug re-exposure and stressful stimuli promote relapse. This study investigated the role of noradrenergic systems in the reinstatement of extinguished cocaine-induced conditioned place preference by cocaine and stress in male C57BL/6 mice. Cocaine- (15 mg/kg, i.p.) induced conditioned place preference was extinguished by repeated exposure to the apparatus in the absence of drug and reestablished by a cocaine challenge (15 mg/kg), exposure to a stressor (6-min forced swim (FS); 20–25°C water), or administration of the α-2 adrenergic receptor (AR) antagonists yohimbine (2 mg/kg, i.p.) or BRL44408 (5, 10 mg/kg, i.p.). To investigate the role of ARs, mice were administered the nonselective β-AR antagonist, propranolol (5, 10 mg/kg, i.p.), the α-1 AR antagonist, prazosin (1, 2 mg/kg, i.p.), or the α-2 AR agonist, clonidine (0.03, 0.3 mg/kg, i.p.) before reinstatement testing. Clonidine, prazosin, and propranolol failed to block cocaine-induced reinstatement. The low (0.03 mg/kg) but not high (0.3 mg/kg) clonidine dose fully blocked FS-induced reinstatement but not reinstatement by yohimbine. Propranolol, but not prazosin, blocked reinstatement by both yohimbine and FS, suggesting the involvement of β-ARs. The β-2 AR antagonist ICI-118551 (1 mg/kg, i.p.), but not the β-1 AR antagonist betaxolol (10 mg/kg, i.p.), also blocked FS-induced reinstatement. These findings suggest that stress-induced reinstatement requires noradrenergic signaling through β-2 ARs and that cocaine-induced reinstatement does not require AR activation, even though stimulation of central noradrenergic neurotransmission is sufficient to reinstate

galign: A Tool for Rapid Genome Polymorphism Discovery

BACKGROUND: Highly parallel sequencing technologies have become important tools in the analysis of sequence polymorphisms on a genomic scale. However, the development of customized software to analyze data produced by these methods has lagged behind. METHODS/PRINCIPAL FINDINGS: Here I describe a tool, 'galign', designed to identify polymorphisms between sequence reads obtained using Illumina/Solexa technology and a reference genome. The 'galign' alignment tool does not use Smith-Waterman matrices for sequence comparisons. Instead, a simple algorithm comparing parsed sequence reads to parsed reference genome sequences is used. 'galign' output is geared towards immediate user application, displaying polymorphism locations, nucleotide changes, and relevant predicted amino-acid changes for ease of information processing. To do so, 'galign' requires several accessory files easily derived from an annotated reference genome. Direct sequencing as well as in silico studies demonstrate that 'galign' provides lesion predictions comparable in accuracy to available prediction programs, accompanied by greater processing speed and more user-friendly output. We demonstrate the use of 'galign' to identify mutations leading to phenotypic consequences in C. elegans. CONCLUSION/SIGNIFICANCE: Our studies suggest that 'galign' is a useful tool for polymorphism discovery, and is of immediate utility for sequence mining in C. elegans

Indirect Detection of Kaluza-Klein Dark Matter from Latticized Universal Dimensions

We consider Kaluza-Klein dark matter from latticized universal dimensions. We motivate and investigate two different lattice models, where the models differ in the choice of boundary conditions. The models reproduce relevant features of the continuum model for Kaluza-Klein dark matter. For the model with simple boundary conditions, this is the case even for a model with only a few lattice sites. We study the effects of the latticization on the differential flux of positrons from Kaluza-Klein dark matter annihilation in the galactic halo. We find that for different choices of the compactification radius, the differential positron flux rapidly converges to the continuum model results as a function of the number of lattice sites. In addition, we consider the prospects for upcoming space-based experiments such as PAMELA and AMS-02 to probe the latticization effect.Comment: 25 pages, 9 figures, LaTeX. Final version published in JCA